Type theory

Results: 3552



#Item
31

Formalisations Using Two-Level Type Theory∗ Danil Annenkov1 , Paolo Capriotti2 , and Nicolai Kraus2 1 2 University of Copenhagen

Add to Reading List

Source URL: hott-uf.github.io

- Date: 2018-03-28 14:04:14
    32

    CS364A: Exercise Set #2 Due by the beginning of class on Wednesday, October 9, 2013 Instructions: (1) Turn in your solutions to all of the following exercises directly to one of the TAs (Kostas or Okke). Please type your

    Add to Reading List

    Source URL: theory.stanford.edu

    - Date: 2013-10-04 00:30:06
      33

      Di↵erential Cohesive Type Theory 1 Jacob A. Gross 1 Daniel R. Licata 2 Max S. New3 Jennifer Paykin4 Mitchell Riley2 Michael Shulman5

      Add to Reading List

      Source URL: hott-uf.github.io

      - Date: 2018-03-28 14:04:14
        34

        Three Deductive Systems of Classical (or Boolean) Type Theory and Their Denotational-Semantic Completeness Ken Akiba Virginia Commonwealth University, Richmond, Virginia, USA Abstract

        Add to Reading List

        Source URL: www.anupamdas.com

        - Date: 2017-08-07 04:57:01
          35

          Interpreting Type Theory in Appropriate Presheaf Toposes Thomas Streicher, Jonathan Weinberger TU Darmstadt, Germany July 19, 2017

          Add to Reading List

          Source URL: hott-uf.github.io

          - Date: 2018-03-28 14:04:14
            36

            CS364A: Exercise Set #5 Due by the beginning of class on Wednesday, October 30, 2013 Instructions: (1) Turn in your solutions to all of the following exercises directly to one of the TAs (Kostas or Okke). Please type you

            Add to Reading List

            Source URL: theory.stanford.edu

            - Date: 2013-10-27 19:11:46
              37

              CS364A: Exercise Set #4 Due by the beginning of class on Wednesday, October 23, 2013 Instructions: (1) Turn in your solutions to all of the following exercises directly to one of the TAs (Kostas or Okke). Please type you

              Add to Reading List

              Source URL: theory.stanford.edu

              - Date: 2013-10-21 14:26:48
                38

                CS364A: Exercise Set #7 Due by the beginning of class on Wednesday, November 13, 2013 Instructions: (1) Turn in your solutions to all of the following exercises directly to one of the TAs (Kostas or Okke). Please type yo

                Add to Reading List

                Source URL: theory.stanford.edu

                - Date: 2013-11-06 13:58:42
                  39

                  Two-Level Type Theory Our Lean Development Internalisation of Inverse Diagrams Formalisations Using Two-Level Type Theory Danil Annenkov1

                  Add to Reading List

                  Source URL: hott-uf.github.io

                  - Date: 2018-03-28 14:04:14
                    UPDATE